#include<stdio.h>

int main()
{
	int n = 0;
	scanf("%d", &n);
	
	if (n>=30)
		printf("%d",n*48);
	else
		
		printf("%d",n*50);	
	
	
	return 0;
}
